propositional and harmonious legs